Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
Identifieur interne : 004D39 ( Main/Exploration ); précédent : 004D38; suivant : 004D40Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
Auteurs : Jean-Marc Mota [France] ; Catherine Dubois [France]Source :
- TSI. Technique et science informatiques [ 0752-4072 ] ; 2007.
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
Geometric modellers allow us to design computer-generated images. They have become very complex, formal methods may help when developing them. Our experience shows it is difficult to prove the correctness of a geometric operation when we manipulate mathematic models data implemented in modellers. On the other hand, the proof becomes feasible if the specification is expressed with abstract data. In this case, we also have to refine these data. We illustrate this process on a simplified version of a classical operation. More precisely, by using event B and its refinement, we show we can transform a set of lines into a set of2-G-maps, where a 2-G-map is a topological model often implemented in modellers.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 000359
- to stream PascalFrancis, to step Curation: 000666
- to stream PascalFrancis, to step Checkpoint: 000288
- to stream Main, to step Merge: 004E74
- to stream Main, to step Curation: 004D39
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes</title><author><name sortKey="Mota, Jean Marc" sort="Mota, Jean Marc" uniqKey="Mota J" first="Jean-Marc" last="Mota">Jean-Marc Mota</name><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>Laboratoire HEUDIASYC, équipe ASTRID -UMR CNRS 6599 Centre de Recherches de Royallieu -BP 20529</s1><s2>60205 Compiègne</s2><s3>FRA</s3><sZ>1 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Hauts-de-France</region><region type="old region" nuts="2">Picardie</region><settlement type="city">Compiègne</settlement></placeName></affiliation></author><author><name sortKey="Dubois, Catherine" sort="Dubois, Catherine" uniqKey="Dubois C" first="Catherine" last="Dubois">Catherine Dubois</name><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>Laboratoire CEDRIC, équipe CPR 18 allée Jean Rostand</s1><s2>91025 Évry</s2><s3>FRA</s3><sZ>2 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Île-de-France</region><settlement type="city">Évry (Essonne)</settlement></placeName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">INIST</idno><idno type="inist">08-0014545</idno><date when="2007">2007</date><idno type="stanalyst">PASCAL 08-0014545 INIST</idno><idno type="RBID">Pascal:08-0014545</idno><idno type="wicri:Area/PascalFrancis/Corpus">000359</idno><idno type="wicri:Area/PascalFrancis/Curation">000666</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">000288</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000288</idno><idno type="wicri:doubleKey">0752-4072:2007:Mota J:raffinement:de:modeles</idno><idno type="wicri:Area/Main/Merge">004E74</idno><idno type="wicri:Area/Main/Curation">004D39</idno><idno type="wicri:Area/Main/Exploration">004D39</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes</title><author><name sortKey="Mota, Jean Marc" sort="Mota, Jean Marc" uniqKey="Mota J" first="Jean-Marc" last="Mota">Jean-Marc Mota</name><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>Laboratoire HEUDIASYC, équipe ASTRID -UMR CNRS 6599 Centre de Recherches de Royallieu -BP 20529</s1><s2>60205 Compiègne</s2><s3>FRA</s3><sZ>1 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Hauts-de-France</region><region type="old region" nuts="2">Picardie</region><settlement type="city">Compiègne</settlement></placeName></affiliation></author><author><name sortKey="Dubois, Catherine" sort="Dubois, Catherine" uniqKey="Dubois C" first="Catherine" last="Dubois">Catherine Dubois</name><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>Laboratoire CEDRIC, équipe CPR 18 allée Jean Rostand</s1><s2>91025 Évry</s2><s3>FRA</s3><sZ>2 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Île-de-France</region><settlement type="city">Évry (Essonne)</settlement></placeName></affiliation></author></analytic><series><title level="j" type="main">TSI. Technique et science informatiques</title><title level="j" type="abbreviated">TSI, Tech. sci. inform.</title><idno type="ISSN">0752-4072</idno><imprint><date when="2007">2007</date></imprint></series></biblStruct></sourceDesc><seriesStmt><title level="j" type="main">TSI. Technique et science informatiques</title><title level="j" type="abbreviated">TSI, Tech. sci. inform.</title><idno type="ISSN">0752-4072</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Abstract interpretation</term><term>Complex method</term><term>Data models</term><term>Formal method</term><term>Geometrical model</term><term>Modeling</term><term>Refinement method</term><term>Software development</term><term>Topology</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Développement logiciel</term><term>Méthode formelle</term><term>Interprétation abstraite</term><term>Topologie</term><term>Méthode Complex</term><term>Modèle donnée</term><term>Méthode raffinement</term><term>Modélisation</term><term>Modèle géométrique</term><term>.</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Geometric modellers allow us to design computer-generated images. They have become very complex, formal methods may help when developing them. Our experience shows it is difficult to prove the correctness of a geometric operation when we manipulate mathematic models data implemented in modellers. On the other hand, the proof becomes feasible if the specification is expressed with abstract data. In this case, we also have to refine these data. We illustrate this process on a simplified version of a classical operation. More precisely, by using event B and its refinement, we show we can transform a set of lines into a set of2-G-maps, where a 2-G-map is a topological model often implemented in modellers.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Hauts-de-France</li><li>Picardie</li><li>Île-de-France</li></region><settlement><li>Compiègne</li><li>Évry (Essonne)</li></settlement></list><tree><country name="France"><region name="Hauts-de-France"><name sortKey="Mota, Jean Marc" sort="Mota, Jean Marc" uniqKey="Mota J" first="Jean-Marc" last="Mota">Jean-Marc Mota</name></region><name sortKey="Dubois, Catherine" sort="Dubois, Catherine" uniqKey="Dubois C" first="Catherine" last="Dubois">Catherine Dubois</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004D39 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 004D39 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Pascal:08-0014545
|texte= Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
}}
| This area was generated with Dilib version V0.6.33. |  |